integrity constraints

完全性约束条件